Searched: \.*
Results from PEPM08 web
The following papers have been accepted for presentation at the workshop (in no particular order):
- Jakob Puchinger and Peter Stuckey. Automating Branch-and-Bound for Dynamic Programs
- Janis Voigtländer. The destroy/build-rule (A case for doing things right from the start)
- Huiqing Li and Simon Thompson. Tool Support for Refactoring Functional Programs
- Boris Feigin and Alan Mycroft. Jones Optimality and Hardware Virtualization / A Report on Work in Progress
- Isabella Mastroeni and Damiano Zanardini. Data dependencies and program slicing: From syntax to abstract semantics
- Stephen A. Edwards and Jia Zeng. Static Elaboration of Recursion for Concurrent Software
- Nic Volanschi and Christian Rinderknecht. Unparsed Patterns: Easy User-Extensibility of Program Manipulation Tools
- Ping Zhu and Siau-Cheng Khoo. Specialization for Applications Using Shared Libraries
- Jurriaan Hage and Stefan Holdermans. Heap Recycling for Lazy Languages
- Daniel Prusa and Jan Jancura. Generic Framework for Integration of Programming Languages into Net Beans IDE
- Torben Mogensen. Semi-Inversion of Functional Parameters
- Corneliu Popeea, Dana N. Xu and Wei Ngan Chin. A Practical Inference and Specializer for Array Bound Checks Elimination
- Nik Sultana and Simon Thompson. Mechanical verification of refactorings
- Ando Saabas and Tarmo Uustalu. Proof optimization for partial redundancy elimination
- Pawel Pietrzak, Jesús Correas Fernández, German Puebla and Manuel Hermenegildo. A Practical Type Analysis for Verification of Modular Prolog Programs
- Alessandro Warth, James Douglass and Todd Millstein. Packrat Parsers Can Support Left Recursion
- Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan. Closing the Stage: From staged code to typed closures
- Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy and John O'Leary. Synthesizable High Level Hardware Descriptions
- Shin-Cheng Mu. Maximum Segment Sum is Back - Deriving Algorithms for Two Segment Problems with Bounded Lengths
- Djoko Djoko Simplice, Rémi Douence and Pascal Fradet. Aspects Preserving Properties
PEPM 2008 is co-located with POPL 2008.
The PEPM Symposium/Workshop series aims to bring together researchers
and practitioners working in the areas of program manipulation,
partial evaluation, and program generation. PEPM focuses on
techniques, theory, tools, and applications of analysis and
manipulation of programs.
The 2008 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continue last year's
successful effort to expand the scope of PEPM significantly beyond the
traditionally covered areas of partial evaluation and specialization
and include practical applications of program transformations such as
refactoring tools, and practical implementation techniques such as
rule-based transformation systems. In addition, the scope of PEPM
covers manipulation and transformations of program and system
representations such as structural and semantic models that occur in
the context of model-driven development. In order to reach out to
practitioners, a separate category of tool demonstration papers will
be solicited.
Topics of interest for PEPM'08 include, but are not limited to:
- Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, program inversion, program composition, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation.
- Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, and type systems.
- Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware.
- Techniques that treat programs/models as data objects including meta-programming, generative programming, staged computation, and model-driven program generation and transformation.
- Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking. Examples of application domains include legacy program understanding and transformation, domain-specific language implementations, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security.
The PEPM Symposium/Workshop series aims to bring together researchers
and practitioners working in the areas of program manipulation,
partial evaluation, and program generation. PEPM focuses on
techniques, theory, tools, and applications of analysis and
manipulation of programs.
The 2008 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continue last year's
successful effort to expand the scope of PEPM significantly beyond the
traditionally covered areas of partial evaluation and specialization
and include practical applications of program transformations such as
refactoring tools, and practical implementation techniques such as
rule-based transformation systems. In addition, the scope of PEPM
covers manipulation and transformations of program and system
representations such as structural and semantic models that occur in
the context of model-driven development. In order to reach out to
practitioners, a separate category of tool demonstration papers will
be solicited.
Topics of interest for PEPM'08 include, but are not limited to:
- Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, program inversion, program composition, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation.
- Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, and type systems.
- Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware.
- Techniques that treat programs/models as data objects including meta-programming, generative programming, staged computation, and model-driven program generation and transformation.
- Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking. Examples of application domains include legacy program understanding and transformation, domain-specific language implementations, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security.
Submission Categories and Guidelines
Regular research papers must not exceed 10 pages in ACM Proceedings style. Tool demonstration papers must not exceed 4 pages in ACM Proceedings style, and authors will be expected to present a live demonstration of the described tool at the workshop (tool papers should include an additional appendix of up to 6 additional pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo at the workshop). Authors are strongly encouraged to consult the advice for authoring research papers and tool papers before submitting. Papers should be submitted electronically via the workshop web site. The workshop proceedings will be published in the ACM Digital Library and selected papers will be invited for a journal special issue dedicated to PEPM'08.Important Dates
- Abstracts due: Fri, October 12, 2007
- Submission: Wed, October 17, 2007, 23:59, Apia time
- Notification: Mon, November 12, 2007
- Camera-ready: Wed, November 28, 2007
- Workshop: Mon-Tue, January 7-8, 2008
Program Committee
Program Chairs- Robert Glück (University of Copenhagen, Denmark)
- Oege de Moor (Oxford University, UK)
- Kenichi Asai (Ochanomizu University, Japan)
- Lennart Augustsson (Credit Suisse, UK)
- Martin Bravenboer (Delft University of Technology, The Netherlands)
- Cristiano Calcagno (Imperial College London, UK)
- Robert M. Fuhrer (IBM T.J. Watson Research Center, USA)
- Shan Shan Huang (Georgia Institute of Technology, USA)
- Patricia Johann (Rutgers University, USA)
- Siau-Cheng Khoo (National University of Singapore, Singapore)
- Anne-Françoise Le Meur (University of Science and Technology Lille, France)
- Shin-Cheng Mu (Academia Sinica, Taiwan)
- Klaus Ostermann (University of Technology Darmstadt, Germany)
- Markus Püschel (Carnegie Mellon University, USA)
- Sergei Romanenko (Keldysh Institute, Russian Academy of Sciences, Russia)
- Mads Rosendahl (University of Roskilde, Denmark)
- Jeremy Siek (University of Colorado at Boulder, USA)
- Todd Veldhuizen (University of Waterloo, Canada)
- German Vidal (Technical University of Valencia, Spain)
- Tetsuo Yokoyama (Nagoya University, Japan)
----------------------------------------------------------------------
Call For Papers
ACM SIGPLAN 2008 Workshop on
PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'08)
Nice, France
January 7-8, 2008
(Co-located with POPL 2008)
http://www.program-transformation.org/PEPM08
----------------------------------------------------------------------
The PEPM Symposium/Workshop series aims to bring together researchers
and practitioners working in the areas of program manipulation,
partial evaluation, and program generation. PEPM focuses on
techniques, theory, tools, and applications of analysis and
manipulation of programs.
The 2008 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continue last year's
successful effort to expand the scope of PEPM significantly beyond the
traditionally covered areas of partial evaluation and specialization
and include practical applications of program transformations such as
refactoring tools, and practical implementation techniques such as
rule-based transformation systems. In addition, the scope of PEPM
covers manipulation and transformations of program and system
representations such as structural and semantic models that occur in
the context of model-driven development. In order to reach out to
practitioners, a separate category of tool demonstration papers will
be solicited.
----------------------------------------------------------------------
Topics of interest for PEPM'08 include, but are not limited to:
+ Program and model manipulation techniques such as transformations
driven by rules, patterns, or analyses, partial evaluation,
specialization, program inversion, program composition, slicing,
symbolic execution, refactoring, aspect weaving, decompilation,
and obfuscation.
+ Program analysis techniques that are used to drive program/model
manipulation such as abstract interpretation, static analysis,
binding-time analysis, dynamic analysis, constraint solving, and
type systems.
+ Analysis and transformation for programs/models with advanced
features such as objects, generics, ownership types, aspects,
reflection, XML type systems, component frameworks, and middleware.
+ Techniques that treat programs/models as data objects including
meta-programming, generative programming, staged computation, and
model-driven program generation and transformation.
+ Application of the above techniques including experimental studies,
engineering needed for scalability, and benchmarking. Examples of
application domains include legacy program understanding and
transformation, domain-specific language implementations,
scientific computing, middleware frameworks and infrastructure
needed for distributed and web-based applications, resource-limited
computation, and security.
We especially encourage papers that break new ground including
descriptions of how program/model manipulation tools can be integrated
into realistic software development processes, descriptions of robust
tools capable of effectively handling realistic applications, and new
areas of application such as rapidly evolving systems, distributed and
webbased programming including middleware manipulation, model-driven
development, and on-the-fly program adaptation driven by run-time or
statistical analysis.
----------------------------------------------------------------------
Submission Categories and Guidelines
Regular research papers must not exceed 10 pages in ACM Proceedings
style. Tool demonstration papers must not exceed 4 pages in ACM
Proceedings style, and authors will be expected to present a live
demonstration of the described tool at the workshop. Suggested topics,
evaluation criteria, and writing guidelines for both research tool
demonstration papers will be made available on the PEPM'08 web
site. Papers should be submitted electronically via the workshop web
site. The workshop proceedings will be published in the ACM Digital
Library and selected papers will be invited for a journal special
issue dedicated to PEPM'08.
----------------------------------------------------------------------
Important Dates
+ to be announced
+ Abstracts due:
+ Submission:
+ Notification:
+ Camera-ready:
+ Workshop: January 7-8, 2008
-----------------------------------------------------------------------
Program Chairs
* Robert Glück (University of Copenhagen, Denmark)
* Oege de Moor (Oxford University, UK)
Program Committee Members
* to be announced
-----------------------------------------------------------------------
A flyer to distribute at other events.
- GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06
ACM SIGPLAN 2008 Workshop on
Partial Evaluation and Program Manipulation (PEPM '08)
Mon-Tue, January 7-8, 2008
San Francisco, USA
co-located with POPL'08 Sponsored by ACM SIGPLAN http://www.program-transformation.org/PEPM08
Partial Evaluation and Program Manipulation (PEPM '08)
Mon-Tue, January 7-8, 2008
San Francisco, USA
co-located with POPL'08 Sponsored by ACM SIGPLAN http://www.program-transformation.org/PEPM08
General Chair
- John Hatcliff (Kansas State University, USA)
- Robert Glück (University of Copenhagen, Denmark)
- Oege de Moor (Oxford University, UK)
- Kenichi Asai (Ochanomizu University, Japan)
- Lennart Augustsson (Credit Suisse, UK)
- Martin Bravenboer (Delft University of Technology, The Netherlands)
- Cristiano Calcagno (Imperial College London, UK)
- Robert M. Fuhrer (IBM T.J. Watson Research Center, USA)
- Shan Shan Huang (Georgia Institute of Technology, USA)
- Patricia Johann (Rutgers University, USA)
- Siau-Cheng Khoo (National University of Singapore, Singapore)
- Anne-Françoise Le Meur (University of Science and Technology Lille, France)
- Shin-Cheng Mu (Academia Sinica, Taiwan)
- Klaus Ostermann (University of Technology Darmstadt, Germany)
- Markus Püschel (Carnegie Mellon University, USA)
- Sergei Romanenko (Keldysh Institute, Russian Academy of Sciences, Russia)
- Mads Rosendahl (University of Roskilde, Denmark)
- Jeremy Siek (University of Colorado at Boulder, USA)
- Todd Veldhuizen (University of Waterloo, Canada)
- German Vidal (Technical University of Valencia, Spain)
- Tetsuo Yokoyama (Nagoya University, Japan)
- Kenichi Asai (Ochanomizu University, Japan)
- John Hatcliff (Kansas State University, USA)
- Michael Leuschel (University of Düsseldorf, Germany)
- Annie Liu (State University of New York at Stony Brook, USA)
- Peter Sestoft (IT University of Copenhagen, Denmark)
- German Vidal (Technical University of Valencia, Spain)
Submissions
10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting research results and/or experience related to the topics above (PC co-chairs can advise on appropriateness). We particularly encourage original high-quality reports on applying GPCE technologies to real-world problems, relating ideas and concepts from several topics, or bridging the gap between theory and practice.- Abstracts due: Fri, October 12, 2007
- Submission: Wed, October 17, 2007, 23:59, Apia time
- Notification: Mon, November 12, 2007
- Camera-ready: Wed, November 28, 2007
- Workshop: Mon-Tue, January 7-8, 2008
- Ras Bodik (University of California, Berkeley). Program Synthesis by Sketching.
- Monica Lam (Stanford University): Combining Static and Dynamic Analysis for Securing Web Applications.
Subscribe at
The mailing list is moderated and used to announce events of interest to the PEPM community.
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2008 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last year's successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'08 include, but are not limited to:
2008-07-18 PEPM 2009 will be co-located with POPL 2009 in Savannah, GA, USA 2007-12-06 PEPM program. 2007-11-20 Registration is open. 2007-11-12 20 submissions accepted. 2007-10-20 74 submissions (papers+tools). Largest number since PEPM 1991. 2007-07-25 PEPM 2008 will be co-located with POPL 2008 in San Francisco, USA.
- Registration is part of Registration for POPL 2008 and Affiliated Events.
- Accommodation and Local Information.
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. The 2008 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continue last year's successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM'08 include, but are not limited to:
- Program and model manipulation techniques such as transformations driven by rules, patterns, or analyses, partial evaluation, specialization, program inversion, program composition, slicing, symbolic execution, refactoring, aspect weaving, decompilation, and obfuscation.
- Program analysis techniques that are used to drive program/model manipulation such as abstract interpretation, static analysis, binding-time analysis, dynamic analysis, constraint solving, and type systems.
- Analysis and transformation for programs/models with advanced features such as objects, generics, ownership types, aspects, reflection, XML type systems, component frameworks, and middleware.
- Techniques that treat programs/models as data objects including meta-programming, generative programming, staged computation, and model-driven program generation and transformation.
- Application of the above techniques including experimental studies, engineering needed for scalability, and benchmarking. Examples of application domains include legacy program understanding and transformation, domain-specific language implementations, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security.
2008-07-18 PEPM 2009 will be co-located with POPL 2009 in Savannah, GA, USA 2007-12-06 PEPM program. 2007-11-20 Registration is open. 2007-11-12 20 submissions accepted. 2007-10-20 74 submissions (papers+tools). Largest number since PEPM 1991. 2007-07-25 PEPM 2008 will be co-located with POPL 2008 in San Francisco, USA.
WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.PEPM08 web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe to the service, please put yourself on the list below. The format is:
3 spaces * Main.yourWikiName - yourEmailAddress
- MyName? - myname@site.edu
TWiki.PEPM08 Web Preferences
The following settings are web preferences of the TWiki.PEPM08 web. These preferences overwrite the site-level preferences in TWikiPreferences, and can be overwritten by user preferences (your personal topic, i.e. TWikiGuest in the TWiki.Main web) GPCE variables:- Set URLPEPM08 = http://www.program-transformation.org/PEPM08
- Set URLFLYER = http://www.program-transformation.org/PEPM08
- Set URLFLYERALT = ?
- Set URLPOPL08 = http://www.cs.ucsd.edu/popl/08/
- Set URLLOCAL = ?
- Set URLNICE = ?
- Set PAPERPRESUBMISSION = Fri, October 12, 2007
- Set PAPERSUBMISSION = Wed, October 17, 2007, 23:59, Apia time
- Set PAPERNOTIFICATION = Mon, November 12, 2007
- Set PAPERCAMERAREADY = Wed, November 28, 2007
- Set EARLYREGISTRATION = ??, 2007
- Set LATEREGISTRATION = ??, 2007
- Set CONFERENCEDAYS = Mon-Tue, January 7-8, 2008
- Set VENUE = San Francisco, USA
- Set WEBTITLE = ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation
- Set SHORTWEBTITLE = PEPM2008
- Web specific background color: (Pick a lighter one of the StandardColors)
- Set WEBBGCOLOR = #D0D0D0
- Exclude web from a
web="all"search: (Set toonfor hidden webs)- Set NOSEARCHALL =
- Default template for new topics and form(s) for this web:
- WebTopicEditTemplate?: Default template for new topics in this web. (Site-level is used if topic does not exist)
- TWiki.WebTopicEditTemplate: Site-level default template
- TWikiForms: How to enable form(s)
- Set WEBFORMS =
- Users or groups who are not / are allowed to view / change / rename topics in the PEPM08 web: (See TWikiAccessControl)
- Users or groups allowed to change or rename this WebPreferences topic: (I.e. TWikiAdminGroup)
- Set ALLOWTOPICCHANGE = TWikiAdminGroup PepmGroup
- Set ALLOWTOPICRENAME = TWikiAdminGroup PepmGroup
- Web preferences that are not allowed to be overridden by user preferences:
- Set FINALPREFERENCES = WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME
- A preference is defined as:
6 spaces * Set NAME = value
Example:- Set WEBBGCOLOR = #FFFFC0
- Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
- When you write variable
%WEBBGCOLOR%, it gets expanded to#D0D0D0.
- When you write variable
- The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set
WEBCOPYRIGHTbeforeWIKIWEBMASTERsince%WEBCOPYRIGHT%uses the%WIKIWEBMASTER%variable. - You can introduce new preferences variables and use them in your topics and templates. There is no need to change the TWiki engine (Perl scripts).
- TWikiPreferences has site-level preferences.
- TWikiUsers has a list of user topics. User topics can have optional user preferences.
- TWikiVariables has a list of common
%VARIABLES%. - TWikiAccessControl explains how to restrict access by users or groups.
Number of topics: 0
- Topic index: List of PEPM08 topics in alphabetical order.
|All|A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|
| All topics in BookView |
- Jump to topic: If you already know the name of the topic, enter the name of the topic into the GoBox at the top
- WebChanges: Find out what topics in PEPM08 have changed recently
- How to edit text:
- Make changes to topics in GoodStyle,
- Learn the TextFormattingRules, and
- Have a look at the TextFormattingFAQ
Statistics for TWiki.PEPM08 Web
- Do not edit this topic, it is updated automatically. (You can also force an update)
- TWikiDocumentation tells you how to enable the automatic updates of the statistics.
- Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.
Finding topics
Tracking activity
- WebNews: selected changes
- WebChanges: recent changes
- WebNotify: email notification of changes
- WebStatistics: usage counts
- WebPreferences: values of variables
- WebContents?: web specific entries in the side bar
The workshop will be held in the Stanford Court Hotel in San Francisco, USA.
Number of topics: 47